Notes on Models of (Partial) Kripke–Feferman Truth

Abstract This article investigates models of axiomatizations related to the semantic conception truth presented by Kripke (J Philos 72(19):690–716, 1975), so-called fixed-point semantics . Among various proof systems devised as a proof-theoretic characterization semantics, in recent years two alternatives have received particular attention: classical (i.e., based on logic) and nonclassical some logic). The present article, building Halbach Nicolai Log 47(2):227–257, 2018), shows that there is sense which theories (in suitable variants) same models.